(DEFPROP <ST> 
 (LAMBDA NIL (NLRR (QUOTE ST) (FUNCTION (LAMBDA NIL (COND ((AND (<F11>) (CH ;)) (STK 1)) (*NIL*)))))) 
EXPR)

(DEFPROP <F11> 
 (LAMBDA NIL
  (NLRR (QUOTE F11)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (SPWD DSK) (CH :) (<FILE>)) (CONS (QUOTE DSK) (STK 0)))
		((AND (<F2>)) (STK 0))
		(*NIL*)))))) 
EXPR)

(DEFPROP <F2> 
 (LAMBDA NIL
  (LRR (QUOTE F2)
       (FUNCTION (LAMBDA NIL (COND ((AND (<F3>)) (STK 0)) (*NIL*))))
       (FUNCTION
	(LAMBDA (<*>) (COND ((AND (CH ∨) (<F3>)) (CONS (QUOTE OR) (CONS <*> (CONS (STK 0) NIL)))) (*NIL*)))))) 
EXPR)

(DEFPROP <F3> 
 (LAMBDA NIL
  (LRR (QUOTE F3)
       (FUNCTION (LAMBDA NIL (COND ((AND (<F4>)) (STK 0)) (*NIL*))))
       (FUNCTION
	(LAMBDA (<*>) (COND ((AND (CH ∧) (<F4>)) (CONS (QUOTE AND) (CONS <*> (CONS (STK 0) NIL)))) (*NIL*)))))) 
EXPR)

(DEFPROP <F4> 
 (LAMBDA NIL
  (NLRR (QUOTE F4)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (CH /() (<F11>) (CH /))) (STK 1))
		((AND (CH ¬) (<F4>)) (CONS (QUOTE NOT) (CONS (STK 0) NIL)))
		((AND (<PREDIC>)) (STK 0))
		(*NIL*)))))) 
EXPR)

(DEFPROP <PREDIC> 
 (LAMBDA NIL
  (NLRR (QUOTE PREDIC)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (SPWD ANCESTRY)) (QUOTE ANCESTRY))
		((AND (SPWD NONE)) (QUOTE NONE))
		((AND (SPWD VINE)) (QUOTE VINE))
		((AND (SPWD UNIT)) (QUOTE UNIT))
		((AND (SPWD P1)) (QUOTE ALLPOS))
		((AND (SPWD P2)) (QUOTE ALLNEG))
		((AND (SPWD SUPPORT) (CH /[) (<C>) (CH /])) (CONS (QUOTE SUPPORT) (STK 1)))
		((AND (SPWD DEPTH) (CH /[) (<NUMBER>) (CH /]))
		 (CONS (QUOTE MAXDEPTH) (CONS (CONS (QUOTE CDR) (CONS (QUOTE C) NIL)) (CONS (STK 1) NIL))))
		((AND (SPWD SELDEPTH) (CH /[) (<FNLSTP>) (CH /])) (CONS (QUOTE DEP) (STK 1)))
		((AND (SPWD LENGTH) (CH /[) (<NUMBER>) (CH /]))
		 (CONS (QUOTE MAXLENGTH) (CONS (QUOTE C) (CONS (STK 1) NIL))))
		((AND (SPWD MODEL) (CH /[) (<PREDLST>) (CH ;) (<PREDLST1>) (CH /]))
		 (CONS (QUOTE MODEL) (CONS (STK 3) (CONS (STK 1) NIL))))
		((AND (SPWD EQUALITY) (CH /[) (<OP>) (CH /,) (<NUMBER>) (CH /]))
		 (CONS (QUOTE EQUALITY) (CONS (STK 3) (CONS (STK 1) NIL))))
		((AND (SPWD DEMOD) (CH /[) (<CLAUSES>) (<NUMBER>) (CH /]))
		 (CONS (QUOTE DEMOD) (CONS (STK 2) (CONS (STK 1) NIL))))
		((AND (SPWD DEFMODEL) (CH /[) (SPWD ID) (CH /])) (CONS (QUOTE DEFMODEL) (QUOTE ID)))
		(*NIL*)))))) 
EXPR)

(DEFPROP <PREDLST1> 
 (LAMBDA NIL (NLRR (QUOTE PREDLST1) (FUNCTION (LAMBDA NIL (COND ((AND (<PREDLST>)) (STK 0)) (*NIL*)))))) 
EXPR)

(DEFPROP <PREDLST> 
 (LAMBDA NIL
  (NLRR (QUOTE PREDLST)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<ID>) (CH /,) (<PREDLST>)) (CONS (STK 2) (STK 0)))
		((AND (<ID>)) (STK 0))
		((AND) NIL)
		(*NIL*)))))) 
EXPR)

(DEFPROP <FNLSTP> 
 (LAMBDA NIL
  (NLRR (QUOTE FNLSTP)
	(FUNCTION
	 (LAMBDA NIL
	  (COND ((AND (<FP>) (CH ;) (<FNLSTP>)) (CONS (STK 2) (STK 0)))
		((AND (<FP>)) (CONS (STK 0) NIL))
		(*NIL*)))))) 
EXPR)

(DEFPROP <FP> 
 (LAMBDA NIL
  (NLRR (QUOTE FP)
	(FUNCTION (LAMBDA NIL (COND ((AND (<OP>) (CH /,) (<NUMBER>)) (CONS (STK 2) (STK 0))) (*NIL*)))))) 
EXPR)

(DEFPROP >ST< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND ((>F11< 1) (LIST (STK1) (QUOTE (:CH ;))))))))) 
EXPR)

(DEFPROP >F11< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (DSK . *))) (>FILE< 0)) (LIST (QUOTE DSK) (QUOTE (:CH :)) (STK0)))
		  ((>F2< 1) (STK1))))))) 
EXPR)

(DEFPROP >F2< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (OR * *))) (>F2< 1) (>F3< 0)) (LIST (STK1) (QUOTE (:CH ∨)) (STK0)))
		  ((>F3< 1) (STK1))))))) 
EXPR)

(DEFPROP >F3< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (AND * *))) (>F3< 1) (>F4< 0)) (LIST (STK1) (QUOTE (:CH ∧)) (STK0)))
		  ((>F4< 1) (STK1))))))) 
EXPR)

(DEFPROP >F4< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (NOT *))) (>F4< 0)) (LIST (QUOTE (:CH ¬)) (STK0)))
		  ((>PREDIC< 1) (STK1))
		  ((>F11< 1) (LIST (QUOTE (:CH /()) (STK1) (QUOTE (:CH /)))))))))) 
EXPR)

(DEFPROP >PREDIC< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((EQ (QUOTE ANCESTRY) (STK1)) (QUOTE ANCESTRY))
		  ((EQ (QUOTE NONE) (STK1)) (QUOTE NONE))
		  ((EQ (QUOTE VINE) (STK1)) (QUOTE VINE))
		  ((EQ (QUOTE UNIT) (STK1)) (QUOTE UNIT))
		  ((EQ (QUOTE ALLPOS) (STK1)) (QUOTE P1))
		  ((EQ (QUOTE ALLNEG) (STK1)) (QUOTE P2))
		  ((AND (MATCH (QUOTE (SUPPORT . *))) (>C< 0))
		   (LIST (QUOTE SUPPORT) (QUOTE (:CH /[)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (MAXDEPTH (CDR C) *))) (>NUMBER< 0))
		   (LIST (QUOTE DEPTH) (QUOTE (:CH /[)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (DEP . *))) (>FNLSTP< 0))
		   (LIST (QUOTE SELDEPTH) (QUOTE (:CH /[)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (MAXLENGTH C *))) (>NUMBER< 0))
		   (LIST (QUOTE LENGTH) (QUOTE (:CH /[)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (MODEL * *))) (>PREDLST< 1) (>PREDLST1< 0))
		   (LIST (QUOTE MODEL) (QUOTE (:CH /[)) (STK1) (QUOTE (:CH ;)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (EQUALITY * *))) (>OP< 1) (>NUMBER< 0))
		   (LIST (QUOTE EQUALITY) (QUOTE (:CH /[)) (STK1) (QUOTE (:CH /,)) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (DEMOD * *))) (>CLAUSES< 1) (>NUMBER< 0))
		   (LIST (QUOTE DEMOD) (QUOTE (:CH /[)) (STK1) (STK0) (QUOTE (:CH /]))))
		  ((AND (MATCH (QUOTE (DEFMODEL . ID))))
		   (LIST (QUOTE DEFMODEL) (QUOTE (:CH /[)) (QUOTE ID) (QUOTE (:CH /]))))))))) 
EXPR)

(DEFPROP >PREDLST1< 
 (LAMBDA (%N) (OUTRUL %N (FUNCTION (LAMBDA NIL (COND ((>PREDLST< 1) (STK1))))))) 
EXPR)

(DEFPROP >PREDLST< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((EQ (QUOTE NIL) (STK1)) FOOBAZ)
		  ((AND (MATCH (QUOTE (* . *))) (>ID< 1) (>PREDLST< 0)) (LIST (STK1) (QUOTE (:CH /,)) (STK0)))
		  ((>ID< 1) (STK1))))))) 
EXPR)

(DEFPROP >FNLSTP< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND ((AND (MATCH (QUOTE (*))) (>FP< 0)) (STK0))
		  ((AND (MATCH (QUOTE (* . *))) (>FP< 1) (>FNLSTP< 0))
		   (LIST (STK1) (QUOTE (:CH ;)) (STK0)))))))) 
EXPR)

(DEFPROP >FP< 
 (LAMBDA(%N)
  (OUTRUL %N
	  (FUNCTION
	   (LAMBDA NIL
	    (COND
	     ((AND (MATCH (QUOTE (* . *))) (>OP< 1) (>NUMBER< 0)) (LIST (STK1) (QUOTE (:CH /,)) (STK0)))))))) 
EXPR)